$\forall$$p$:finite{-}prob{-}space. sqequal(null($p$); ff)